Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation? Edison Mera1 , Pedro L´opez-Garc´ıa1 , Germ´an Puebla1 , Manuel Carro1 , and Manuel Hermenegildo1,2 1 Technical University of

Source URL: clip.dia.fi.upm.es

CITY OF BOULDER IT GOVERNANCE AND DECISION-MAKING STRUCTURE (Approved May 2011) I. Citywide IT Mission, Goals and Guiding Principles The following mission, goal and principle statements are applied throughout the IT gov

Source URL: www-static.bouldercolorado.gov

• Technology
• Corporate governance of information technology
• Program management
• Governance
• Business analysis
• Business process improvement
• Enterprise architect
• Project management
• Business
• Management

Understanding a System’s Architecture Dirk Heuzeroth Universit¨at Karlsruhe IPD, Program Structures Group Postfach 6980, 76128 Karlsruhe, Germany

Source URL: arisa.se

• Program analysis
• Type system
• Call graph
• Static program analysis
• Java
• Software visualization
• C dynamic memory allocation
• Object-oriented programming
• Analysis
• Computing
• Software engineering
• Computer programming

Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging Keywords Asynchronous programming; state machines; concurrency; static d

Source URL: www.doc.ic.ac.uk

• Actuarial science
• Econometrics
• Regression analysis
• Algorithm
• Parallel computing
• IP
• Actor model
• Applied mathematics
• Mathematics
• Theoretical computer science

Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1

Source URL: www.cs.technion.ac.il

• Logic in computer science
• Formal methods
• Formal verification
• Pointer analysis
• Shape analysis
• Pointer
• The Verifier
• Abstract interpretation
• IP
• Theoretical computer science
• Applied mathematics
• Static program analysis

SOURCE CODE ANALYSIS TOOLBOX FOR SOFTWARE SECURITY ASSURANCE The objective of STANCE is to enable the adoption of program analysis tools as part of security assurance practices and certification

Source URL: www.stance-project.eu

• Cyberwarfare
• Software
• Software quality
• Frama-C
• Static program analysis
• Vulnerability
• Software security assurance
• Security testing
• Application security
• Software testing
• Security
• Computer security

SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2

Source URL: www.cse.unsw.edu.au

• Compiler construction
• Control flow graph
• Data-flow analysis

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. GoannaSMT – A Static Analyzer with SMT-based Refinement

Source URL: www.cse.unsw.edu.au

• Formal methods
• Logic in computer science
• Model checking
• Satisfiability Modulo Theories
• Static program analysis
• Abstract interpretation
• Abstraction
• C
• Software bug
• Theoretical computer science
• Software engineering
• Computing

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

Source URL: www.eecs.berkeley.edu

• Computer programming
• Logic in computer science
• Model checkers
• Model checking
• Formal verification
• BLAST model checker
• Abstract interpretation
• Static program analysis
• Abstraction
• Computing
• Software engineering
• Formal methods

User Manual Frama-C User Manual Release FluorineLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien

Source URL: frama-c.com

• Program analysis
• Computer programming
• Static program analysis
• Plug-in
• Software
• Frama-C
• Computing